Lecture Notes in Computer Science - PDFSEARCH.IO - Document Search Engine

Lecture Notes in Computer Science
Results: 278

#	Item
71	Topics in Theoretical Computer Science March 7, 2016 Lecture 3 (Notes) Lecturer: Ola Svensson Add to Reading List Source URL: theory.epfl.ch Language: English - Date: 2016-03-08 03:59:43
72	Topics in Theoretical Computer Science March 21, 2016 Lecture 5 (Notes) Lecturer: Ola Svensson Add to Reading List Source URL: theory.epfl.ch Language: English - Date: 2016-03-20 13:04:51
73	Books, Lecture Notes, ThesesH. Jürgensen: Applied Logic for Computer Science, Notes for CS 209 b. London, Ontario, 2007. First published in 1994, revised editionH. Jürgensen, F. Migliorini, J. Szép: Sem Add to Reading List Source URL: www.csd.uwo.ca Language: German - Date: 2015-10-28 15:01:03
74	(C) Springer Verlag, Lecture Notes on Computer Sience An Algorithm for Enumerating all Directed Spanning Trees in a Directed Graph Takeaki UNO Department of Systems Science, Tokyo Institute of Technology, Oh-okay Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-09-24 01:42:13
75	123 Consent to Publish Lecture Notes in Computer Science Title of the Book/Volume/Conference: Static Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2007-05-08 05:22:00
76	c In Proc. Third International Conference on Audio- and Video-based Biometric Person Authentication, Springer, Lecture Notes in Computer Science, LNCS-2091, pp. 90–95, Halmstad, Sweden, 6–8 JuneRobust Face Add to Reading List Source URL: facedetection.com Language: English - Date: 2015-03-16 19:55:24
77	c In Proc. International ECCV 2002 Workshop on Biometric Authentication, ° Springer, Lecture Notes in Computer Science, LNCS-2359, pp. 103–111, Copenhagen, Denmark, JuneGenetic Model Optimization Add to Reading List Source URL: facedetection.com Language: English - Date: 2015-03-16 19:31:34
78	© Springer-Verlag, Lecture Notes in Computer Science, (2008) http://www.springerlink.com/content/x02404845g538663/fulltext.pdf Fragmentation and Encryption to Enforce Privacy in Data Storage Valentina Ciriani1 , Sabrina Add to Reading List Source URL: spdp.di.unimi.it Language: English - Date: 2012-12-10 09:49:58
79	Programs and Proofs Mechanizing Mathematics with Dependent Types Lecture Notes Ilya Sergey Draft of August 19, 2015 Add to Reading List Source URL: ilyasergey.net Language: English - Date: 2016-03-01 06:31:32 Mathematical logic Theoretical computer science Mathematics Type theory Logic in computer science Automated theorem proving Formal methods Coq Automated reasoning Proof assistant Separation logic Functional programming
80	123 Consent to Publish Lecture Notes in Computer Science Title of the Book or Conference Name: 37th Add to Reading List Source URL: vmv2015.rwth-aachen.de Language: English - Date: 2015-09-29 04:45:13

UPDATE